# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.


$key = q/notin;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.96ex; vertical-align: -0.21ex; " SRC="|."$dir".q|img1.png"
 ALT="$\notin$">|; 

1;

